Replace port number 31443 #667
Conversation
Port 31443 does not work any more and it has been replaced by 443. The documentation has been changed accordingly
@check-spelling-bot Report🔴 Please reviewSee the 📂 files view, the 📜action log, or 📝 job summary for details. Unrecognized words (3)creds To accept these unrecognized words as correct, you could run the following commands... in a clone of the [email protected]:EGI-Federation/documentation.git repository curl -s -S -L 'https://raw.githubusercontent.com/check-spelling/check-spelling/main/apply.pl' |
perl - 'https://github.com/EGI-Federation/documentation/actions/runs/10592798670/attempts/1'OR To have the bot accept them for you, reply quoting the following line: Available 📚 dictionaries could cover words (expected and unrecognized) not in the 📘 dictionaryThis includes both expected items (26) from .github/actions/spelling/expect.txt and unrecognized words (3)
Consider adding them (in with:
extra_dictionaries:
cspell:golang/dict/go.txt
cspell:python/src/python/python-lib.txt
cspell:scala/dict/scala.txt
cspell:filetypes/filetypes.txt
cspell:npm/dict/npm.txtTo stop checking additional dictionaries, add (in check_extra_dictionaries: '' |
|
@gwarf is there a way to avoid the spell checker inside code blocks? |
|
Forcing merge as spelling errors are from command outputs and should not be changed |
Don't know, would have to check docs/conf. Merging as you did is fine with me. |
Port 31443 does not work any more and it has been replaced by 443. The documentation has been changed accordingly